A Rudimentary Quantum Compiler (2cnd Ed.)

نویسنده

  • Robert R. Tucci
چکیده

We present a new algorithm for reducing an arbitrary unitary matrix U into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). Our algorithm applies recursively a mathematical technique called the CS Decomposition to build a binary tree of matrices whose product, in some order, equals the original matrix U. We show that the Fast Fourier Transform (FFT) algorithm is a special case of our algorithm. We report on a C++ program called “Qubiter” that implements the ideas of this paper. Qubiter(PATENT PENDING) source code is publicly available.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Rudimentary Quantum Compiler

We present a new algorithm for reducing an arbitrary unitary matrix into a sequence of elementary operations (operations such as controlled-nots and qubit rotations). Such a sequence of operations can be used to manipulate an array of quantum bits (i.e., a quantum computer). We report on a C++ program called “Qubiter” that implements our algorithm. Qubiter source code is publicly available.

متن کامل

Of What Use is a Veri ed Compiler Speci cation ?

Program veri cation is normally performed on source code. However, it is the object code which is executed and so which ultimately must be correct. The compiler used to produce the object code must not introduce bugs. The majority of the compiler correctness literature is concerned with the veri cation of compiler speci cations rather than executable implementations. We discuss di erent ways th...

متن کامل

The NIST EXPRESS Toolkit: Requirements for Improvement

The NIST EXPRESS toolkit is a software library for building EXPRESS-related tools. This paper is one in a series describing the latest version of the toolkit. This document describes shortcomings of previous versions of the toolkit, requirements for improvement, and a recommended approach for addressing those requirements. A background knowledge of EXPRESS and the EXPRESS toolkit is presumed as...

متن کامل

Pregnancy in Non-Communicating Rudimentary Horn of A Unicornuate Uterus

Background: Diagnosis and management of pre-rupture stage of the pregnant horn are difficult and usually missed on a routine ultrasound scan. Furthermore, most cases are detected after rupture of pregnant horn. Case: We presented a 28-year-oldG2 L1 woman with diagnosis of RHP at 14 weeks of gestation. She was initially diagnosed with a normal intrauterine pregnancy, whereas a pregnancy in a rig...

متن کامل

A Compiler for a Functional Quantum Programming Language

We introduce a compiler for the functional quantum programming language QML [1], developed in Haskell. The compiler takes QML expressions as input and outputs a representation of quantum circuits (via the category FQC of finite quantum computations) which can be simulated by the simulator presented here, or by using a standard simulator for quantum gates. We discuss the structure of the compile...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008